Kan man ligge i et mentalt rum
نویسندگان
چکیده
منابع مشابه
Polar Lattices: Where Ar{\i}kan Meets Forney
In this paper, we propose the explicit construction of a new class of lattices based on polar codes, which are provably good for the additive white Gaussian noise (AWGN) channel. We follow the multilevel construction of Forney et al. (i.e., Construction D), where the code on each level is a capacityachieving polar code for that level. The proposed polar lattices are efficiently decodable by usi...
متن کاملKan Extensions of Institutions
Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...
متن کاملThe Need for Broad Spec t rum and Sa fe Ant i - ep i l ept i c Drugs in
the University of Leuven Belgium (KUL) and Head of the Paediatric Neurology Department of the KUL University Hospitals. He runs the Epilepsy Program and his main scientific interest is the relationship between childhood epilepsy and cognitive development. Current epilepsy research projects include: event-related potential (ERP) study of prefrontal functions in childhood epilepsy; wireless and m...
متن کاملComputing left Kan extensions
We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...
متن کاملLeft Kan Extensions Over !-Cat
An existing procedure to compute left Kan extensions over the ground category Set also computes left Kan extensions over the ground categories Cat, 2-Cat, n-Cat for any n and indeed !-Cat. Therefore extension data struc-tured in this manner already can make use of the left Kan extension notion of a best possible approximation. Examples include systems of labeled transition systems and certain h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NyS, Nydanske Sprogstudier
سال: 2000
ISSN: 2246-4522,0106-8040
DOI: 10.7146/nys.v26i26-27.13411